Operational Semantics

Prototyping A&A ReSpecT in Maude

Cognitive Science / Rewriting Logic / Modeling Language / Computer Software / Meta-model / Operational Semantics / Programming language / Operational Semantics / Programming language

Formal ReSpecT

Cognitive Science / Social Behaviour / Multi Agent System / Computer Software / Operational Semantics / Heterogeneous Agents / Agent Communication / Heterogeneous Agents / Agent Communication

A Process Calculus for Mobile Ad Hoc Networks

Mobile Ad Hoc Network / Computer Software / Operational Semantics / Environmental Science and Computer Programming / Routing Protocol / Formal Model / Process Calculi / Transition Systems / Formal Model / Process Calculi / Transition Systems

Transforming acyclic programs

Information Systems / Computer Software / Operational Semantics

Computing graphical queries over XML data

Information Systems / Library and Information Studies / Graph matching / Data Transformation / Operational Semantics / Computer Graphic / Data Exchange / Domain Specificity / Power Transformer / Front end / Computer Graphic / Data Exchange / Domain Specificity / Power Transformer / Front end

From Natural Semantics to Abstract Machines

Operational Semantics

Clocked temporal logic programming

Operational Semantics / Temporal Logic

Prototyping A&A ReSpecT in Maude

Cognitive Science / Rewriting Logic / Modeling Language / Computer Software / Meta-model / Operational Semantics / Programming language / Operational Semantics / Programming language

Robots: A Real-Time Systems Architectural Style

Real Time Systems / Operational Semantics

Procedural knowledge

Biomedical Engineering / Failure Analysis / Complex System / System Analysis / Artificial Intelligent / Fault diagnosis / expert System / Procedural Knowledge / Operational Semantics / Space vehicles / Electrical And Electronic Engineering / Programming language / Fault diagnosis / expert System / Procedural Knowledge / Operational Semantics / Space vehicles / Electrical And Electronic Engineering / Programming language

Copyright © 2017 DADOSPDF Inc.